<?php
  echo pi();
?>
